|
Фамилия Имя Отчество |
Название работы |
|
|
1 |
Базилевич Роман Петрович |
МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ) |
|
2 |
Бершадский Александр Моисеевич |
Алгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений. |
|
3 |
Бибило Петр Николаевич |
ИЗУЧЕНИЕ В ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЯХ ВЫСОКОУРОВНЕВЫХ ЯЗЫКОВ ПРОЕКТИРОВАНИЯ МИКРОЭЛЕКТРОННЫХ СИСТЕМ |
|
4 |
Бутов Александр Стефанович |
“СОКРАТ” - СИСТЕМА СКВОЗНОГО ПРОЕКТИРОВАНИЯ ТОПОЛОГИИ ПОЛУЗАКАЗНЫХ БИС |
|
5 |
Веселов Алексей Аркадьевич |
Разработка системы имитационного моделирования цифровых интегральных схем D-расширением сетей Петри |
|
6 |
Галушкин Александр Иванович |
Разработка комплекса нейросетевых модулей перспективных САПР СБИС |
|
7 |
Гольцман Григорий Наумович |
Разработка нового бесконтактного метода оптической диагностики микросхем для временного анализа и верификации с пикосекундным разрешением на основе однофотонного сверхпроводящего детектора ИК-излучения |
|
8 |
Горьковой Валерий Федорович |
АЛГОРИТМЫ НА ГРАФАХ |
|
9 |
Гуров Сергей Исаевич |
Новые методы логического синтеза макроблоков БИС |
|
10 |
Долинский Михаил Семенович |
Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле |
|
11 |
Евтушенко Нина В. |
Оптимизация цифровых схем на основе решения автоматных уравнений |
|
12 |
Закревский Аркадий Дмитриевич |
Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач |
|
13 |
Захаров Сергей Михайлович |
ФИЗИЧЕСКИЕ ПАРАМЕТРЫ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ЛИНИЯХ СВЯЗИ ИНТЕГРАЛЬНЫХ СХЕМ |
|
14 |
Зинченко Л. А. |
Проектирование интегральных схем на основе эволюционных вероятностных моделей |
|
15 |
Золоторевич Людмила Андреевна |
ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ БИС/СБИС И УСТРОЙСТВ ЦИФРОВОЙ ЭЛЕКТРОНИКИ |
|
16 |
Зуев Игорь Станиславович |
Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС |
|
17 |
Карпов Юрий Глебович |
Верификация взаимодействующих временных автоматов |
|
18 |
Кожевников Арист Александрович |
UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей |
|
19 |
Коноплев Борис Георгиевич |
Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле |
|
20 |
Курейчик Виктор Михайлович |
Исследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС |
|
21 |
Лебедев Борис Константинович |
Исследование и разработка методов эволюционной адаптации для решения задачи глобальной трассировки |
|
22 |
Левин Виталий Ильич |
ЛОГИЧЕСКИЙ АНАЛИЗ ДИНАМИЧЕСКИХ ПРОЦЕССОВ В ДИСКРЕТНЫХ СИСТЕМАХ ПРИ НАЛИЧИИ НЕОПРЕДЕЛЕННОСТИ |
|
23 |
Ложкин Сергей Андреевич |
Методы логического синтеза, декомпозиции булевых функций и вложения графов для оптимизации сквозного проектирования СБИС |
|
24 |
Лузин Сергей Юрьевич |
Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" |
|
25 |
Матросова Анжела Юрьевна |
Синтез отказоустойчивых дискретных систем |
|
26 |
Новиков Яков Андреевич |
РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ |
|
27 |
Перязев Николай Алексеевич |
Декомпозиция булевых функций в предэлементарных базисных множествах |
|
28 |
Петренко Анатолий Иванович |
РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС |
|
29 |
Рыженко Николай Владимирович |
Pathfinder ("Следопыт") |
|
30 |
Скворцов Аркадий Алексеевич |
Экспериментальное и теоретическое моделирование тепловых режимов работы слоев металлизации интегральных микросхем (многослойных тонкопленочных структур на кремнии). |
|
31 |
Скобцов Юрий Александрович |
Эволюционные методы построения проверяющих тестов цифровых СБИС высокой степени интеграции |
|
32 |
Соловьев Валерий Васильевич |
Программный комплекс ZUBR проектирования цифровых систем на основе СБИС |
|
33 |
Старостин Николай Владимирович |
Экстремальные задачи оптимальной правильной вершинной раскраски графа |
|
34 |
Строгонов Андрей Владимирович |
Проектирование БИС с учетом надежности |
|
35 |
ТОМАШЕВ Валерий Фомич |
Технологическое отображение для полузаказных СБИС |
|
36 |
Топорков Виктор Васильевич |
АЛГОРИТМЫ КОМПОНЕНТНОГО РАЗБИЕНИЯ В СОВМЕСТНОМ ПРОЕКТИРОВАНИИ АППАРАТНО-ПРОГРАММНЫХ СИСТЕМ |
|
37 |
Хапаев Михаил Михайлович |
Вычислительный алгоритм экстракции резистивных импедансов нерегулярных планарных структур и его реализация |
|
38 |
Хаханов Владимир Иванович |
SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ |
|
39 |
Чикуров Николай Георгиевич |
Логический синтез, анализ и оптимизация. Алгоритмы декомпозиции. |
|
40 |
Шалыто Анатолий Абрамович |
Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов |
|
41 |
Шаповалов Евгений Петрович |
Структурная теория алгоритмов - аппарат оптимизационного анализа при проектировании ВУ на СБИС или ПЛИС |
|
42 |
Янковская Анна Ефимовна |
СУБОПТИМАЛЬНЫЙ СКВОЗНОЙ ЛОГИЧЕСКИЙ СИНТЕЗ УСТРОЙСТВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ |